A Jump Inversion Theorem for the Semilattices of Sigma-degrees
نویسنده
چکیده
We prove an analogue of the jump inversion theorem for the semilattices of Σ-degrees of structures. As a corollary, we get similar result for the semilattices of degrees of presentability of countable structures.
منابع مشابه
A Jump Inversion Theorem for the Degree Spectra
In the present paper we continue the study of the properties of the spectra of structures as sets of degrees initiated in [11]. Here we consider the relationships between the spectra and the jump spectra. Our first result is that every jump spectrum is also a spectrum. The main result sounds like a Jump inversion theorem. Namely, we show that if a spectrum A is contained in the set of the jumps...
متن کاملThe Jump Operator on the Ω-enumeration Degrees
The jump operator on the ω-enumeration degrees is introduced in [11]. In the present paper we prove a jump inversion theorem which allows us to show that the enumeration degrees are first order definable in the structureDω ′ of the ω-enumeration degrees augmented by the jump operator. Further on we show that the groups of the automorphisms of Dω ′ and of the enumeration degrees are isomorphic. ...
متن کاملA Total Degree Splitting Theorem and a Jump Inversion Splitting Theorem
We propose a meta-theorem from which some splitting theorem for total e-degrees can be derived.
متن کاملA jump inversion theorem for the enumeration jump
We prove a jump inversion theorem for the enumeration jump and a minimal pair type theorem for the enumeration reducibilty. As an application some results of Selman, Case and Ash are obtained.
متن کاملAntibasis theorems for Π1 classes and the jump hierarchy
We prove two antibasis theorems for Π1 classes. The first is a jump inversion theorem for Π1 classes with respect to the global structure of the Turing degrees. For any P ⊆ 2, define S(P ), the degree spectrum of P , to be the set of all Turing degrees a such that there exists A ∈ P of degree a. For any degree a ≥ 0, let Jump(a) = {b : b = a}. We prove that, for any a ≥ 0 and any Π1 class P , i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009